An Asm Implementation of a Self-applicable Partial Evaluator
نویسندگان
چکیده
Partial evaluation is a technique for specializing programs with respect to parts of their input. We describe an o ine partial evaluator mixASM for Abstract State Machines, written in the ASM language itself. The partial evaluator is self-applicable, so some problems related to self-application are discussed. This work concentrates on the implementation of mixASM , presenting all algorithms in detail.
منابع مشابه
A Self-Applicable Partial Evaluator for ASM
This paper presents an ooine partial evaluator for Abstract State Machines. Self-application is possible by means of a simpliied version of the partial evaluator written in ASM itself. Using self-application, we have generated compilers for small languages from their interpreter deenitions. We also present techniques for describing the semantics of programming languages, in a way suitable for p...
متن کاملPreliminary Report on a Self-Applicable Online Partial Evaluator for Flowchart
This is a preliminary report on a self-applicable online partial evaluator for a flowchart language with recursive calls. Self-application of the partial evaluator yields generating extensions that are as efficient as those reported in the literature for offline partial evaluation. This result is remarkable because partial evaluation folklore has indicated that online partial evaluation techniq...
متن کاملSelf-applicable C Program Specialization
A partial evaluator is an automatic program transformation tool. Given as input a general program and part of its input, it can produce a specialized version. If the partial evaluator is self-applicable, program generators can be made. The goal is efficiency : the specialized program often runs an order of magnitude faster than the general one. We consider partial evaluation of the pragmatic or...
متن کاملLogimix: A Self-Applicable Partial Evaluator for Prolog
We present a self-applicable partial evaluator for a large subset of full Prolog. The partial evaluator, called Logimix, is the result of applying our experience from partial evaluation of functional languages to Prolog. Great care is taken to preserve the operational semantics of the partially evaluated programs, including the effects of non-logical predicates and side effects. At the same tim...
متن کاملA Self - Applicable Partial Evaluator for the Logic Programming Language
Partial evaluation is a program specialisation technique that has been shown to have great potential in logic programming, particularly for the specialisation of meta-interpreters by the so-called " Futamura Projections ". Meta-interpreters and other meta-programs are programs which use another program as data. The Futamura projections also show that partial evaluator which is self-applicable (...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000